Minimization of Deterministic Bottom-Up Tree Transducers
نویسندگان
چکیده
We show that for every deterministic bottom-up tree transducer, a unique equivalent transducer can be constructed which is minimal. The construction is based on a sequence of normalizing transformations which, among others, guarantee that non-trivial output is produced as early as possible. For a deterministic bottom-up transducer where every state produces either none or infinitely many outputs, the minimal transducer can be constructed in polynomial time.
منابع مشابه
HASSE diagrams for classes of deterministic bottom-up tree-to-tree-series transformations
The relationship between classes of tree-to-tree-series and o-tree-to-tree-series transformations, which are computed by restricted deterministic bottom-up weighted tree transducers, is investigated. Essentially, these transducers are deterministic bottom-up tree series transducers, except that the former are defined over monoids whereas the latter are defined over semirings and only use the mu...
متن کاملCompositions of Bottom-Up Tree Series Transformations
Tree series transformations computed by bottom-up tree series transducers are called bottom-up tree series transformations. (Functional) compositions of such transformations are investigated. It turns out that bottom-up tree series transformations over commutative and א0-complete semirings are closed under left-composition with linear bottom-up tree series transformations and right-composition ...
متن کاملBottom-Up and Top-Down Tree Series Transformations
We generalize bottom-up tree transducers and top-down tree transducers to the concept of bottom-up tree series transducer and top-down tree series transducer, respectively, by allowing formal tree series as output rather than trees, where a formal tree series is a mapping from output trees to some semiring. We associate two semantics with a tree series transducer: a mapping which transforms tre...
متن کاملInclusion Diagrams for Classes of Deterministic Bottom-up Tree-to-Tree-Series Transformations
In this paper we investigate the relationship between classes of tree-to-tree-series (for short: t-ts) and o-tree-to-tree-series (for short: o-t-ts) transformations computed by restricted deterministic bottom-up weighted tree transducers (for short: deterministic bu-w-tt). Essentially, deterministic bu-w-tt are deterministic bottom-up tree series transducers [EFV02, FV03, ful, FGV04], but the f...
متن کاملIncomparability Results for Classes of Polynomial Tree Series Transformations
We consider (subclasses of) polynomial bottom-up and top-down tree series transducers over a partially ordered semiring A = (A,⊕, ,0,1, ), and we compare the classes of tree-to-tree-series and o-tree-to-tree-series transformations computed by such transducers. Our main result states the following. If, for some a ∈ A with 1 a, the semiring A is a weak a-growth semiring and either (i) the semirin...
متن کامل